退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:验证OWL时间本体
Michael Grüninger;
机译:通过域和架构独立语言化验证本体递增
机译:基于本体的转换与UML类模型的验证
机译:基于本体的复杂系统要求验证
机译:验证OWL-Time本体
机译:软件需求获取,验证和文档记录:一种基于本体的方法。
机译:针对冠状病毒感染的实验或临床验证药物的本体论模拟与分析
机译:跨领域知识验证:在基于基础的领域本体中验证知识
机译:用于构建,验证和维护本体的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。